A model of random industrial SAT

One of the most studied models SAT is random SAT. In this model, instances are composed from clauses chosen uniformly randomly and independently each other. This model may be unsatisfactory in that it fails to describe various features instances, arising real-world applications. Various modifications have been suggested define industrial Here, we focus mainly on aspect community structure. Namely, here set variables consists a number disjoint communities, tend consist same community. Thus, suggest SAT, which central generalization with respect additional There has lot work satisfiability threshold k-SAT, starting calculation 2-SAT, up recent result exists for sufficiently large k. paper, endeavor study proposed Our main tends smaller than its counterpart Moreover, under some conditions, even vanishes.